University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
61	1 Adaptive Metric Learning Vector Quantization for Ordinal Classification Shereen Fouad and Peter Tino1 1 School of Computer Science, The University of Birmingham, Birmingham B15 2TT, Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2012-10-31 15:56:18
62	C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Multimedia Intelligence in Forensics and Security Dr. Chengcui Zhang University of Alabama at Birmingham Add to Reading List Source URL: pdf.cs.ua.edu - Date: 2012-08-29 09:30:04
63	LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2⋆ , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2015-08-02 23:01:51
64	The Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems Neelakantan R. Krishnaswami University of Birmingham <> Add to Reading List Source URL: conf.researchr.org
65	To appear at POPLContextual Isomorphisms Paul Blain Levy University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2016-11-13 08:45:33
66	Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2013-08-01 12:14:39
67	On interpretations of arithmetic and set theory∗ Richard Kaye and Tin Lok Wong School of Mathematics University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: web.mat.bham.ac.uk - Date: 2012-01-03 13:02:13
68	Ageing Factor: a Potential Altmetric for Observing Events and Attention Spans in Microblogs Victoria Uren1 and Aba-Sah Dadzie2 1 Aston Business School, Aston University, The Aston Triangle, Birmingham, UK Department of C Add to Reading List Source URL: ceur-ws.org - Date: 2012-09-07 09:26:14
69	Compact types and ordinals in constructive univalent type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2016-07-13 16:51:55
70	Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2016-08-30 09:47:27

UPDATE